Operator residuation in orthomodular posets of finite height
نویسندگان
چکیده
We show that for every orthomodular poset P=(P,≤,′,0,1) of finite height there can be defined two operators forming an adjoint pair with respect to order-like relation on the power set P. This enables us introduce so-called operator residuated corresponding P from which original recovered. this construction applied also weakly and dually posets. Examples such posets are included.
منابع مشابه
Residuation in orthomodular lattices
We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lat...
متن کاملOn Stability of Regional Orthomodular Posets
The set of regions of a transition system, ordered by set inclusion, is an orthomodular poset, often referred to as quantum logic, here called regional logic. Regional logics, which result to be also regular and rich, are the main subject of investigation in this work. Given a regular, rich logic L, one can build a condition/event transition system A, such that L embeds into the regional logic ...
متن کاملStates on Orthomodular Posets of Decompositions
In Harding (1996; see also Harding, 1998, 1999), a method was given to construct an orthomodular poset Fact X from the direct product decompositions of a set. As this forms the basis of our study we briefly review the pertinent facts. For a set X let Eq X denote the set of equivalence relations on X, use ◦ for relational product, 1 for the least equivalence relation on X, and ∇ for the largest....
متن کاملOrthomodular algebraic lattices related to combinatorial posets
We extend some theoretical results in the frame of concurrency theory, which were presented in [1]. In particular, we focus on partially ordered sets (posets) as models of nonsequential processes [2] and we apply the same construction as in [1] of a lattice of subsets of points of the poset via a closure operator defined on the basis of the concurrency relation, viewed as lack of causal depende...
متن کاملYosida-Hewitt and Lebesgue decompositions of states on orthomodular posets
Orthomodular posets are usually used as event structures of quantum mechanical systems. The states of the systems are described by probability measures (also called states) on it. It is well known that the family of all states on an orthomodular poset is a convex set, compact with respect to the product topology. This suggests to use geometrical results to study its structure. In this line, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2023
ISSN: ['1872-6801', '0165-0114']
DOI: https://doi.org/10.1016/j.fss.2023.108589